#include <stdio.h>

int main()
{
    int i = 0;
    for(; i < 10;i++ )
    {
        printf("linux %d\n",i);
    }
    return 0;
}
